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