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