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