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