(1,2) (3,12) (4,28) (6,7) (8,13) (10,18) (11,19) (14,26) (15,22) (16,17) (21,23) (24,29) (25,30) 
nodes: 515  conflicts: 69  modelTime: 1243  solveTime: 3598  totalTime: 4861  modelSize: 72262  readTime: 20 size: 13