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