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