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