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