(1,19) (2,15) (3,14) (4,30) (5,29) (8,26) (9,22) (10,28) (11,27) (12,17) (13,16) (18,20) (21,23) (24,25) 
nodes: 206704  conflicts: 36  modelTime: 1083  solveTime: 661616  totalTime: 662718  modelSize: 72269  readTime: 19 size: 14