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