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