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