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