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