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