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