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