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