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