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