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