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