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