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