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