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