(1,24) (3,27) (4,17) (5,25) (6,16) (7,19) (8,22) (9,30) (11,28) (12,26) (13,29) (14,18) (15,23) 
nodes: 1584  conflicts: 36  modelTime: 656  solveTime: 2731  totalTime: 3394  modelSize: 41298  readTime: 6 size: 13