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