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