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