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