(1,28) (2,11) (3,9) (4,26) (6,24) (8,20) (10,19) (12,15) (13,21) (14,25) (16,27) (17,29) (18,23) (22,30) 
nodes: 9270  conflicts: 40  modelTime: 972  solveTime: 42764  totalTime: 43747  modelSize: 72269  readTime: 11 size: 14