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