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