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