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