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