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