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