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