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