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