(1,18) (2,17) (3,16) (4,28) (6,20) (7,29) (8,24) (9,26) (10,21) (11,25) (12,27) (13,30) (14,22) (15,23) 
nodes: 11998  conflicts: 31  modelTime: 665  solveTime: 22686  totalTime: 23357  modelSize: 41293  readTime: 6 size: 14