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