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