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