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