(1,18) (2,23) (3,29) (5,24) (7,28) (8,27) (9,19) (10,16) (11,22) (12,21) (13,26) (14,20) (15,30) 
nodes: 2498  conflicts: 48  modelTime: 671  solveTime: 4129  totalTime: 4808  modelSize: 41298  readTime: 7 size: 13