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