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