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