(1,22) (2,30) (3,28) (5,16) (6,20) (7,25) (8,26) (9,21) (10,24) (11,18) (12,27) (13,17) (14,29) (15,19) 
nodes: 2650  conflicts: 41  modelTime: 662  solveTime: 4099  totalTime: 4767  modelSize: 41298  readTime: 6 size: 14