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