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