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