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