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