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