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