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