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