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