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