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