(1,26) (2,27) (3,22) (4,24) (5,12) (6,19) (7,16) (8,18) (9,11) (10,14) (13,17) (15,30) (20,28) (21,25) (23,29) 
nodes: 677060  conflicts: 32  modelTime: 1734  solveTime: 2989653  totalTime: 2991405  modelSize: 72268  readTime: 18 size: 15