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