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