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