(1,19) (2,21) (3,23) (4,27) (5,25) (6,26) (7,17) (8,24) (9,18) (10,30) (12,22) (13,29) (14,28) (15,20) 
nodes: 4656  conflicts: 22  modelTime: 663  solveTime: 11357  totalTime: 12025  modelSize: 41292  readTime: 5 size: 14