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