(1,20) (2,28) (4,16) (5,26) (6,19) (7,18) (8,17) (9,22) (10,27) (11,24) (12,23) (13,25) (14,30) (15,21) 
nodes: 4626  conflicts: 17  modelTime: 662  solveTime: 12029  totalTime: 12696  modelSize: 41293  readTime: 5 size: 14