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