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