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