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