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