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