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