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