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