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