(1,26) (2,21) (3,25) (4,30) (5,18) (7,19) (8,17) (9,24) (10,22) (11,20) (12,16) (13,29) (15,23) 
nodes: 6837  conflicts: 25  modelTime: 658  solveTime: 12898  totalTime: 13563  modelSize: 41292  readTime: 7 size: 13