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