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