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