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