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