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