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