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