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