(1,22) (2,20) (3,16) (4,25) (5,19) (6,28) (7,26) (9,30) (10,18) (12,17) (13,24) (14,27) (15,23) 
nodes: 1127  conflicts: 38  modelTime: 659  solveTime: 1400  totalTime: 2066  modelSize: 41292  readTime: 7 size: 13