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