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