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