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