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