(1,19) (2,16) (4,25) (5,30) (6,26) (7,21) (8,24) (9,23) (10,17) (11,18) (12,22) (13,20) (14,28) (15,27) 
nodes: 1534  conflicts: 36  modelTime: 663  solveTime: 2050  totalTime: 2720  modelSize: 41298  readTime: 7 size: 14