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