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