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